Cauchy-Schwarz Inequality

The Cauchy-Schwarz inequality is an inequality relating the inner products of vectors in some inner product space.

Written in terms of the norm induced by the inner product the Cauchy-Schwarz inequality is:

It is one of the most fundamental inequalities useful to prove many other inequalities in real analysis.

This is very easy to see in the case of the real dot product where it follows from the fact that $-1\le \cos \theta \le 1$ for all $\theta \in \mathbb{R}$.

Proof

Let $X$ be an inner product space and let $\mathit{x},\mathit{y}\in X$.

Then consider:

This is almost the desired inequality, however the absolute values are missing on the right hand side. Since $x$ and $y$ are arbitrary, we can replace $x$ by $-x$ to show that case with the absolute values still holds:

And then finally, we can square both sides since they are both positive:

For Real Coordinate Space

Given $\mathit{x}=(x_1,x_2,\dots ,x_n)$ and $\mathit{y}=(y_1,y_2,\dots ,y_n)$, using the real dot product the Cauchy-Schwarz inequality is:

This is a special case of Holder's inequality.